Detecting feature interactions in CPL

نویسندگان

  • Yiqun Xu
  • Luigi Logrippo
  • Jacques Sincennes
چکیده

An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic representation of CPL scripts, of requirements and of detection rules and, in several cases, specific detection rules are shown to be derived from requirements by logical deduction. The Simple Formal Specification Language (SFSL) is introduced to express the intentions of CPL scripts in logic format. A method for translating CPL into SFSL is presented. The rules address both interactions within a single script, and interactions between two scripts. An automatic feature interaction detection tool applying these rules was implemented in SWI-Prolog. The general method is not specific to CPL and could be used in other feature interaction research. r 2005 Elsevier Ltd. All rights reserved.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On detecting feature interactions in the programmable service environment of Internet telephony

This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope with the problems of the programmable service, we first propose a notion of semantic warnings, which are guidelines for non-experts to assure semantic correctness of individual CPL scripts. Then, we define feature inte...

متن کامل

Online Detection of Feature Interactions of CPL Services

The Call Processing Language (CPL) is one of the best known approaches developed for creating telephony services in Internet telephony. Its XML-based structure makes it a flexible approach to create services not only by service providers, but also by end-users, which increases the possibility of feature interactions. In this paper we present an online approach for detecting feature interactions...

متن کامل

Handling Feature Interactions in the Language for End System Services

Since traditional telecommunication networks assume dumb terminals, there are rarely feature interactions involving end systems. However, in Internet telephony systems, such feature interactions are more likely. We defined a new scripting language called the Language for End System Services (LESS) specifically for end system service creation. One of the design goals of the language is to make i...

متن کامل

Feature Selection Based on Linear Separability and a Cpl Criterion Function

Linear separability of data sets is one of the basic concepts in the theory of neural networks and pattern recognition. Data sets are often linearly separable because of their high dimensionality. Such is the case of genomic data, in which a small number of cases is represented in a space with extremely high dimensionality. An evaluation of linear separability of two data sets can be combined w...

متن کامل

Ranked Modelling with Feature Selection Based on the CPL Criterion Functions

Ranked transformations should preserve a priori given ranked relations (order) between some feature vectors. Designing ranked models includes feature selection tasks. Components of feature vectors which are not important for preserving the vectors order should be neglected. This way unimportant dimensions are greatly reduced in the feature space. It is particularly important in the case of “lon...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Network and Computer Applications

دوره 30  شماره 

صفحات  -

تاریخ انتشار 2007